منابع مشابه
Synthesizing Inductive Expertise
Instead of attacking inductive inference problems in piecemeal fashion, one might hope to write a program that synthesizes successful inductive inference machines from input problem descriptions. Such synthesizers might be conceived as accepting information from the user about the nature of the problem to be solved. The present paper examines alternative design specifications for synthesizers o...
متن کاملAggregating Inductive Expertise
Imagine that you have been appointed the director of a laboratory comprising several research teams. Each team consists of three scientists who examine data emanating from an unknown physical source. Different teams work on different problems of this nature. Each scientist elaborates a theory of the source underlying the data he receives, and he communicates the theory to you without consulting...
متن کاملAggregating Inductive Expertise on Partial Recursive Functions
The notion of an inductive inference machine aggregating a team of inference machines models the problem of making use of several explanations for a single phenomenon. This article investigates the amount of information necessary for a successful aggregation of the theories given by a team of inference machines. Variations of using different kinds of identitication and aggregation are investiga...
متن کاملSynthesizing Proofs from Programs in the Calculus of Inductive Constructions
ion formation : ` (x : T )T 0 2 s [x : T ] ` t 2 T 0 ` [x : T ]t 2 (x : T )T 0 s 2 S By induction hypothesis, 9t0;L and S such that [x : A];L ` t0 : S with (t0) = t, (S) = T 0 and (A) = T . Then, [x : A];L ` t0 : S. To give a proof term, the logical variables of ~l have to be commuted in the context. A vector ~l0 : ~ L0 is de ned with L0i = (x : A)Li if L = [~l : ~ L]. We note ~ (l0 x) for the ...
متن کاملElementary Engineering Education (EEE) Adoption and Expertise Development Framework: An Inductive and Deductive Study
Elementary engineering education (EEE) is an educational innovation. Using Rogers’s innovation diffusion model, the Concerns-Based Adoption Model (CBAM), and Dreyfus’s skill acquisition model as its theoretical frameworks, this study investigated elementary teachers’ EEE adoption and EEE expertise development. Data of this study were collected through face-to-face interviews and open-ended onli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1988
ISSN: 0890-5401
DOI: 10.1016/0890-5401(88)90055-7